Poster: Adaptive Real-Time Cyber Physical System Software

We present our programming constructs that allow developers to gain a control on timing aspect in enforced adaptation decisions in real-time Cyber-Physical System (CPS) software. CPS operation often depends on the environmental conditions, and CPS software must adapt to the changes in these conditions. In CPS software a control-loop is run every 1-10ms or even faster, forcing the adaptation to be limited with time boundaries. Our investigations have shown that developers are left without dedicated programming support, and the timing aspect of the adaptation has to be handled by the programmers manually. We argue that the time aspect is crucial in enforced adaptation decisions in real-time CPS software. Unlike the existing approaches, our language abstractions allow the developers to define the adaptation time boundaries and to avoid possible software misbehavior.